many-valued disjunction

[數] 多值析取